Browsing by Subject "Program compilers"
Now showing items 1-15 of 15
-
Article
Advanced Array Optimizations for High Performance Functional Languages
(1995)In this paper, we discuss and evaluate three opti- mizations for reducing memory management overhead and data copying costs in SISAL 1.2 programs that build arrays. The first, called framework preconstruction, eliminates ...
-
Article
Automated implementation of complex distributed algorithms specified in the IOA language
(2009)IOA is a formal language for describing Input/Output automata that serves both as a formal specification language and as a programming language (Garland et al. in http://theory.lcs.mit.edu/tds/ioa/manual.ps, 2004). The IOA ...
-
Conference Object
Combining compile and run-time dependency resolution in Data-Driven Multithreading
(2012)Threaded Data-Flow systems schedule threads based on data-availability i.e. a thread can be scheduled for execution only after all its inputs have been generated by its producer threads. This requires that all data ...
-
Conference Object
DDM-VMc :The data-driven multithreading virtual machine for the cell processor
(2011)In this paper we present the Data-Driven Multithreading Virtual Machine for the Cell Processor (DDM-VMc). Data-Driven Multithreading is a non-blocking multithreading model that decouples the synchronization from the ...
-
Conference Object
Essential features of a compiler target language for parallel machines
(IEEE, 1995)Term Graph Rewriting Systems (TGRS) have been used extensively as an implementation vehicle for a number of, often divergent, programming paradigms ranging from the traditional functional programming ones to the (concurrent) ...
-
Article
Experience using an intermediate compiler target language for parallel machines
(1997)The generalised computational model of term graph rewriting systems (TGRSs) has been used extensively as an implementation vehicle for a number of, often divergent, programming paradigms ranging from the traditional ...
-
Conference Object
Extracting parallelism in Fortran by translation to a single assignment intermediate form
(Publ by IEEE, 1994)This paper presents MUSTANG, a system for translating Fortran to single assignment form in an effort to automatically extract parallelism. Specifically, a sequential Fortran source program is translated into IF1, a ...
-
Article
Mapping fortran programs to single assignment semantics for efficient parallelization
(1998)This paper presents Mustang, a system that automatically parallellizes Fortran programs by mapping them to single assignment semantics. Specifically, sequential Fortran source programs are translated into IF1, a ...
-
Article
On the automated implementation of time-based Paxos using the IOA compiler
(2010)Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been successfully used in the industry (eg., ...
-
Conference Object
Programming abstractions and toolchain for dataflow multithreading architectures
(2009)The need to exploit multi-core systems for parallel processing has revived the concept of dataflow. In particular, the Dataflow Multithreading architectures have proven to be good candidates for these systems. In this work ...
-
Conference Object
RVC: A mechanism for time-analyzable real-time processors with faulty caches
(2011)Geometry scaling due to technology evolution as well as Vcc scaling lead to failures in large SRAM arrays such as caches. Faulty bits can be tolerated from the average performance perspective, but make critical realtime ...
-
Article
The significance of affectors and affectees correlations for branch prediction
(2008)This work investigates the potential of direction-correlations to improve branch prediction. There are two types of direction- correlation: affectors and affectees. This work considers for the first time their implications ...
-
Conference Object
TFlux: A portable platform for data-driven multithreading on commodity multicore systems
(2008)In this paper we present Thread Flux (TFlux), a complete system that supports the Data-Driven Multithreading (DDM) model of execution. TFlux virtualizes any details of the underlying system therefore offering the same ...
-
Article
Using Coarrays to Parallelize Legacy Fortran Applications: Strategy and Case Study
(2015)This paper summarizes a strategy for parallelizing a legacy Fortran 77 programusing the object-oriented (OO) and coarray features that entered Fortran in the 2003 and 2008 standards, respectively. OO programming (OOP) ...
-
Conference Object
Video SIMDBench: Benchmarking the Compiler Vectorization for Multimedia Applications
(Institute of Electrical and Electronics Engineers Inc., 2016)Single Instruction Multiple Data (SIMD) Extensions become popular in computer architectures as a simple and efficient way to exploit the data parallelism hidden in applications. The compiler research community has proposed ...